Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

$E_7$ , Wirtinger inequalities, Cayley $4$ -form, and homotopy

Bangert, Victor, Katz, Mikhail G., Shnider, Steven, Weinberger, Shmuel
Журнал:
Duke Mathematical Journal
Рік:
2009
Мова:
english
Файл:
PDF, 353 KB
english, 2009
2

The origins of the conception of Israel's state borders and its impact on the strategy of war in 1948–49

Katz, Yossi, Sandler, Shmuel
Журнал:
Journal of Strategic Studies
Рік:
1995
Мова:
english
Файл:
PDF, 1.27 MB
english, 1995
4

Partially interpreted schemas for CSP programming

Orit Baruch, Shmuel Katz
Журнал:
Science of Computer Programming
Рік:
1988
Мова:
english
Файл:
PDF, 1.36 MB
english, 1988
7

Selection of representations for data structures

Rosenschein, Stanley J., Katz, Shmuel M.
Журнал:
ACM SIGPLAN Notices
Рік:
1977
Мова:
english
Файл:
PDF, 711 KB
english, 1977
9

A complete rule for equifair termination

Orna Grumberg, Nissim Francez, Shmuel Katz
Журнал:
Journal of Computer and System Sciences
Рік:
1986
Мова:
english
Файл:
PDF, 1.15 MB
english, 1986
10

Interleaving set temporal logic

Shmuel Katz, Doron Peled
Журнал:
Theoretical Computer Science
Рік:
1990
Мова:
english
Файл:
PDF, 3.28 MB
english, 1990
11

Defining conditional independence using collapses

Shmuel Katz, Doron Peled
Журнал:
Theoretical Computer Science
Рік:
1992
Мова:
english
Файл:
PDF, 1.64 MB
english, 1992
12

An interactive course to enhance self-efficacy of family practitioners to treat obesity

Sara Katz, Amiel Feigenbaum, Shmuel Pasternak, Shlomo Vinker
Журнал:
BMC Medical Education
Рік:
2005
Мова:
english
Файл:
PDF, 503 KB
english, 2005
13

Rent-seeking for pure public goods

Eliakim Katz, Shmuel Nitzan, Jacob Rosenberg
Журнал:
Public Choice
Рік:
1990
Мова:
english
Файл:
PDF, 539 KB
english, 1990
14

A closer look at termination

Shmuel Katz, Zohar Manna
Журнал:
Acta Informatica
Рік:
1975
Мова:
english
Файл:
PDF, 894 KB
english, 1975
15

Candida infected ascites caused by perforated ulcer

Uri Freund, Zvi Gimmon, Shmuel Katz
Журнал:
Mycopathologia
Рік:
1979
Мова:
english
Файл:
PDF, 117 KB
english, 1979
16

Initial failures in distributed computations

Gadi Taubenfeld, Shmuel Katz, Shlomo Moran
Журнал:
International Journal of Parallel Programming
Рік:
1989
Мова:
english
Файл:
PDF, 1.24 MB
english, 1989
17

Fairness and the axioms of control predicates

Nissim Francez, Shmuel Katz
Журнал:
International Journal of Parallel Programming
Рік:
1987
Мова:
english
Файл:
PDF, 854 KB
english, 1987
18

Appraising fairness in languages for distributed programming

Krzysztof R. Apt, Nissim Francez, Shmuel Katz
Журнал:
Distributed Computing
Рік:
1988
Мова:
english
Файл:
PDF, 1.65 MB
english, 1988
19

Verification of distributed programs using representative interleaving sequences

Shmuel Katz, Doron Peled
Журнал:
Distributed Computing
Рік:
1992
Мова:
english
Файл:
PDF, 1.69 MB
english, 1992
20

Self-stabilizing extensions for meassage-passing systems

Shmuel Katz, Kenneth J. Perry
Журнал:
Distributed Computing
Рік:
1993
Мова:
english
Файл:
PDF, 1.30 MB
english, 1993
23

The common aspect proof environment

Shmuel Katz, David Faitelson
Журнал:
International Journal on Software Tools for Technology Transfer (STTT)
Рік:
2012
Мова:
english
Файл:
PDF, 408 KB
english, 2012
24

A concern architecture view for aspect-oriented software design

Mika Katara, Shmuel Katz
Журнал:
Software & Systems Modeling
Рік:
2007
Мова:
english
Файл:
PDF, 324 KB
english, 2007
25

Reusing semi-specified behavior models in systems analysis and design

Iris Reinhartz-Berger, Dov Dori, Shmuel Katz
Журнал:
Software & Systems Modeling
Рік:
2009
Мова:
english
Файл:
PDF, 829 KB
english, 2009
26

MAVEN: modular aspect verification and interference analysis

Max Goldman, Emilia Katz, Shmuel Katz
Журнал:
Formal Methods in System Design
Рік:
2010
Мова:
english
Файл:
PDF, 742 KB
english, 2010
27

On a matrix inequality

Shmuel Friedland, Moshe Katz
Журнал:
Linear Algebra and its Applications
Рік:
1987
Мова:
english
Файл:
PDF, 278 KB
english, 1987
29

Saving Space by Fully Exploiting Invisible Transitions

Shmuel Katz, Hillel Miller
Журнал:
Formal Methods in System Design
Рік:
1999
Мова:
english
Файл:
PDF, 153 KB
english, 1999
30

OPM/Web – Object-Process Methodology for Developing Web Applications

Iris Reinhartz-Berger, Dov Dori, Shmuel Katz
Журнал:
Annals of Software Engineering
Рік:
2002
Мова:
english
Файл:
PDF, 365 KB
english, 2002
31

Cardiac contusion in the patient with multiple injuries

Shmuel Katz, Zvi Gimmon(Goldschmidt), Azai Appelbaum
Журнал:
Injury
Рік:
1980
Мова:
english
Файл:
PDF, 1.77 MB
english, 1980
33

Renal trauma with posttaumatic hypertension in a neonate

Yehezkel G. Caine, Scott Fields, Hubert Rakotomalala, Yigal Shvil, Shmuel Katz, Madad Schiller
Журнал:
Journal of Pediatric Surgery
Рік:
1992
Мова:
english
Файл:
PDF, 1.35 MB
english, 1992
34

Earthquake-induced barium anomalies in the Lisan Formation, Dead Sea Rift valley, Israel

Amitai Katz, Amotz Agnon, Shmuel Marco
Журнал:
Earth and Planetary Science Letters
Рік:
2009
Мова:
english
Файл:
PDF, 1.59 MB
english, 2009
36

Pancreatic abscess: An unusual complication of pancreatitis in infancy

Shmuel Katz, Avi Rivkind, Oded Cohen, Medad Schiller
Журнал:
Journal of Pediatric Surgery
Рік:
1983
Мова:
english
Файл:
PDF, 164 KB
english, 1983
41

[Lecture Notes in Computer Science] Languages: From Formal to Natural Volume 5533 ||

Grumberg, Orna, Kaminski, Michael, Katz, Shmuel, Wintner, Shuly
Рік:
2009
Мова:
english
Файл:
PDF, 10.71 MB
english, 2009
42

Historical sand injections on the Mediterranean shore of Israel: evidence for liquefaction hazard

Marco, Shmuel, Katz, Oded, Dray, Yehoshua
Журнал:
Natural Hazards
Рік:
2014
Мова:
english
Файл:
PDF, 2.04 MB
english, 2014
43

Rent-Seeking for Pure Public Goods

Eliakim Katz, Shmuel Nitzan and Jacob Rosenberg
Журнал:
Public Choice
Рік:
1990
Мова:
english
Файл:
PDF, 993 KB
english, 1990
48

Logical analysis of programs

Katz, Shmuel, Manna, Zohar
Журнал:
Communications of the ACM
Рік:
1976
Мова:
english
Файл:
PDF, 1.76 MB
english, 1976